An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
نویسندگان
چکیده
The development of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. In this paper, we use the SCTL-MUS methodology to bridge the gap between these two phases. Analysis phase provides diagnostic information if a desirable property is not satisfied by the current system specification. A crucial aspect of the analysis-revision cycle is how to use the diagnostic information provided to generate alternative system refinements which can be included in the system specification to satisfy the property in question (revision phase). Our approach allows translating the diagnostic information into system requirements refinements closed to the system domain. It facilitates to the stakeholders the decision of what system requirements refinements must be included in the system requirements specification.
منابع مشابه
Requirements Specifications Evolution in a Multi-Perspective Environment
We adapt in this paper an analysis-revision cycle to the SCTL-MUS methodology which we will use to support the modification and evolution of requirements specifications in a multi-perspective environment. We take advantage of using our approach in the analysis and revision phases, being able to translate the diagnostic information into system requirements refinements close to the system domain ...
متن کاملFormalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in HRT are by nature functional requirements, since system correctness depends on their fulfillment. Whereas the correctness dependence of the time imposes considering timing requirements from the early stages of the prod...
متن کاملA Methodology for Product Performance Analysis under Effects of Multi-Physical Phenomena
Due to the development of science and technology, the computer has become a useful tool for supporting engineering activities in product design. Many computer aided tools such as CAD/CAM, product data management (PDM), product life cycle assessment (PLA), etc., have been popularly used in industry for reducing product development lead-time and increasing total product quality. However, the nume...
متن کاملThermodynamic Analysis and Statistical Investigation of Effective Parameters for Gas Turbine Cycle using the Response Surface Methodology
In this paper, the statistical analyses are presented to study the thermal efficiency and power output of gas turbine (GT) power plants. For analyzing gas turbine operation and performance, a novel approach is developed utilizing the response surface methodology (RSM) which is based on the central composite design (CCD) method. An attempt is made to study the effect of some operational factors ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002